Computing Omega-Limit Sets in Linear Dynamical Systems
Identifieur interne : 004408 ( Main/Exploration ); précédent : 004407; suivant : 004409Computing Omega-Limit Sets in Linear Dynamical Systems
Auteurs : Emmanuel Hainry [France]Source :
- Lecture Notes in Computer Science [ 0302-9743 ]
English descriptors
- mix :
Abstract
Abstract: Dynamical systems allow to modelize various phenomena or processes by only describing their way of evolution. It is an important matter to study the global and the limit behaviour of such systems. A possible description of this limit behaviour is via the omega-limit set: the set of points that can be limit of subtrajectories. The omega-limit set is in general uncomputable. It can be a set highly difficult to apprehend. Some systems have for example a fractal omega-limit set. However, in some specific cases, this set can be computed. This problem is important to verify properties of dynamical systems, in particular to predict its collapse or its infinite expansion. We prove in this paper that for linear continuous time dynamical systems, it is in fact computable. More, we also prove that the ω-limit set is a semi-algebraic set. The algorithm to compute this set can easily be derived from this proof.
Url:
DOI: 10.1007/978-3-540-85194-3_9
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 000298
- to stream Istex, to step Curation: 000297
- to stream Istex, to step Checkpoint: 000E36
- to stream Hal, to step Corpus: 001790
- to stream Hal, to step Curation: 001790
- to stream Hal, to step Checkpoint: 003217
- to stream Main, to step Merge: 004519
- to stream Main, to step Curation: 004408
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Computing Omega-Limit Sets in Linear Dynamical Systems</title><author><name sortKey="Hainry, Emmanuel" sort="Hainry, Emmanuel" uniqKey="Hainry E" first="Emmanuel" last="Hainry">Emmanuel Hainry</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:0DB5BCA9915255A12A18EF426A699BCFCC044AF4</idno><date when="2008" year="2008">2008</date><idno type="doi">10.1007/978-3-540-85194-3_9</idno><idno type="url">https://api.istex.fr/ark:/67375/HCB-2QLVHRBF-2/fulltext.pdf</idno><idno type="wicri:Area/Istex/Corpus">000298</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">000298</idno><idno type="wicri:Area/Istex/Curation">000297</idno><idno type="wicri:Area/Istex/Checkpoint">000E36</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">000E36</idno><idno type="wicri:doubleKey">0302-9743:2008:Hainry E:computing:omega:limit</idno><idno type="wicri:source">HAL</idno><idno type="RBID">Hal:inria-00250111</idno><idno type="url">https://hal.inria.fr/inria-00250111</idno><idno type="wicri:Area/Hal/Corpus">001790</idno><idno type="wicri:Area/Hal/Curation">001790</idno><idno type="wicri:Area/Hal/Checkpoint">003217</idno><idno type="wicri:explorRef" wicri:stream="Hal" wicri:step="Checkpoint">003217</idno><idno type="wicri:Area/Main/Merge">004519</idno><idno type="wicri:Area/Main/Curation">004408</idno><idno type="wicri:Area/Main/Exploration">004408</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Computing Omega-Limit Sets in Linear Dynamical Systems</title><author><name sortKey="Hainry, Emmanuel" sort="Hainry, Emmanuel" uniqKey="Hainry E" first="Emmanuel" last="Hainry">Emmanuel Hainry</name><affiliation wicri:level="4"><country xml:lang="fr">France</country><wicri:regionArea>LORIA, Université Henri Poincaré, Campus scientifique, BP 239 - 54506, Vandœuvre-lès-Nancy</wicri:regionArea><placeName><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region><settlement type="city">Vandœuvre-lès-Nancy</settlement></placeName><orgName type="university">Université Henri Poincaré</orgName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">France</country></affiliation></author></analytic><monogr></monogr><series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title><idno type="ISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="ISSN">0302-9743</idno></series></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass><keywords scheme="mix" xml:lang="en"><term>Dynamical systems</term><term>hybrid systems</term><term>hybrid systems.</term><term>omega-limit set</term><term>reachable set</term><term>safety properties</term><term>verification</term></keywords></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: Dynamical systems allow to modelize various phenomena or processes by only describing their way of evolution. It is an important matter to study the global and the limit behaviour of such systems. A possible description of this limit behaviour is via the omega-limit set: the set of points that can be limit of subtrajectories. The omega-limit set is in general uncomputable. It can be a set highly difficult to apprehend. Some systems have for example a fractal omega-limit set. However, in some specific cases, this set can be computed. This problem is important to verify properties of dynamical systems, in particular to predict its collapse or its infinite expansion. We prove in this paper that for linear continuous time dynamical systems, it is in fact computable. More, we also prove that the ω-limit set is a semi-algebraic set. The algorithm to compute this set can easily be derived from this proof.</div></front></TEI><affiliations><list><country><li>France</li></country><region><li>Grand Est</li><li>Lorraine (région)</li></region><settlement><li>Vandœuvre-lès-Nancy</li></settlement><orgName><li>Université Henri Poincaré</li></orgName></list><tree><country name="France"><region name="Grand Est"><name sortKey="Hainry, Emmanuel" sort="Hainry, Emmanuel" uniqKey="Hainry E" first="Emmanuel" last="Hainry">Emmanuel Hainry</name></region><name sortKey="Hainry, Emmanuel" sort="Hainry, Emmanuel" uniqKey="Hainry E" first="Emmanuel" last="Hainry">Emmanuel Hainry</name></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 004408 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 004408 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= RBID
|clé= ISTEX:0DB5BCA9915255A12A18EF426A699BCFCC044AF4
|texte= Computing Omega-Limit Sets in Linear Dynamical Systems
}}
| This area was generated with Dilib version V0.6.33. |  |